『Intuitionistic Type Theory』 - pogi-log

『Intuitionistic Type Theory』

Per Martin-Löf. Intuitionistic Type Theory. 1988

https://intuitionistic.files.wordpress.com/2010/07/martin-lof-tt.pdf

原本？

新しく生成しなおしたもの？

見るならこっちの方がいい

『Intuitionistic Type Theory』Stanford Encyclopedia of Philosophy

Martin-Löfの直観主義型理論の論文

構成的型理論のやつ

関連